Books by author Ernst-Rüdiger Olderog

Showing 1 – 6 out of 6 results

1. 

   Verification of Sequential and Concurrent Programs

   Krzysztof R. Apt, Ernst-Rüdiger Olderog, Frank S. de Boer | Springer London Ltd, 2009

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   100.62 €

   Sale 9 %

   You save 10.84 €

   Buy
2. 

   Provably Correct Systems

   Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   102.84 €

   Sale 7 %

   You save 8.61 €

   Buy
3. 

   Formal Techniques in Real-Time and Fault-Tolerant Systems

   Werner Damm, Ernst-Rüdiger Olderog | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
4. 

   Correct System Design

   Ernst-Rüdiger Olderog | Springer, Berlin, 1999

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
5. 

   Provably Correct Systems

   Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog | Springer International Publishing AG, 2018

   
   

   In stock at our supplier - Shipping in 8 - 11 days

   Language: English

   Binding: Paperback

   102.84 €

   Sale 7 %

   You save 8.61 €

   Buy
6. 

   Programmverifikation

   Krzysztof R. Apt, Ernst-Rüdiger Olderog | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: German

   Binding: Hardback

   28.38 €

   Sale 6 %

   You save 1.88 €

   Buy

Estimated delivery date you can see on the book page. Find out more